9. Aspects of mathematical logic
Author: / edited by E. Casari
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Logic, Symbolic and mathematical, Congresses,Mathematics, Philosophy, Congresses
Classification :
QA9
.
A1C56
2010
11. Carnap's Logical syntax of language
Author: edited by Pierre Wagner
Library: Library of Mofid University (Qom)
Subject: ، Carnap, Rudolf,1981-0791.Logische Syntax der Sprache,Congresses ، Logic, Symbolic and mathematical,Congresses ، Grammar, Comparative and general - Syntax,Congresses ، Logical positivism
Classification :
B945
.
C163
L6338
2009
12. Cold war history
Author: edited by Frédéric Bozo ... [ et al.].
Library: Library of Islamic Parliament (Tehran)
Subject:
13. Formal Concept Analysis :
Author: Diana Cristea, Florence Le Ber, Baris Sertkaya (Eds.) (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science-- Mathematics, Congresses.,Formal methods (Computer science), Congresses.,Logic, Symbolic and mathematical, Congresses.,Computer science-- Mathematics.,Formal methods (Computer science),Logic, Symbolic and mathematical.
Classification :
QA76
.
9
.
M35
I58
2019eb
14. Godel'96: logical foundations of mathematics, computer science, and physics-- Kurt Godel's Legacy
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Congresses ، Logic, Symbolic and mathematical,Congresses ، Mathematics-- Philosophy,Congresses ، Computer science,Congresses ، Mathematical physics
Classification :
QA
9
.
A1
.
G6
1996a
15. Godel'96 : logical foundations of mathematics, computer science and physics-Kurt Godel's Legacy, Bruno]sic[, Czech Republic, August 1996, proceedings
Author: Petr Hajek )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Logic, Symbolic and mathematical,Congresses ، Mathematics -- Philosophy,Congresses ، Computer science,Congresses ، Mathematical physics
Classification :
QA
9
.
A1L44
Vol
.
6
16. Godel '96: logical foundations of mathematics, computer science, and physics-kurt Godel's legacy: Bruno ]sic[, Czech Republic, August 1996, proceedings
Author: Petr Hajek )ed.(
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: Congresses ، Logic, Symbolic and mathematical,Philosophy - Congresses ، Mathematics,Congresses ، Computer science,Congresses ، Mathematical physics
Classification :
QA
9
.
A1
G6
1996
17. Includes bibliographical references (p. 49-51). 0,B
Author: Zeren Tanındı. ,/ Katie Normington.
Library: Library of Islamic Parliament (Tehran)
Subject:
18. Logic, Methodology, And Philosophy Of Science, VII.: Proceedings Of The Seventh International Congress Of Logic, Methodology , And Philosophy Of Science, Salzburg, 1983
Author: / Edited By Ruth Barcan Marcus, Georg J. W. Dorn, Paul Weingartner
Library: Library of Islamic Encyclopedia Foundation (Tehran)
Subject: Science -- Philosophy -- Congresses.,Science -- Methodology -- Congresses.,Logic, Symbolic and mathematical -- Congresses.,علوم -- فلسفه -- کنگره ها,علوم -- روششناسی -- کنگره ها,منطق ریاضی-- کنگرهها
Classification :
Q
174
.
I5P4
19. Logic, Methodology, and Philosophy: proceeding
Author: Edited by Yehoshua Bar-Hillel
Library: Library of the Faculty of Economics University of Tehran (Tehran)
Subject: Logic, Symbolic and mathematical-Congresses,Science-Methodology-Congresses,Science-Philosopy-Congresses
Classification :
BC
135
.
I52
1964
20. Logic and its applications :
Author: Md. Aquil Khan, Amaldev Manuel (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical, Congresses.,Logic, Symbolic and mathematical.
Classification :
QA9
.
A1
I24
2019eb